{
REGS *regs = vcpu_regs(vcpu);
UINT64 val;
+
if (!reg) return 0;
getreg(reg,&val,0,regs); // FIXME: handle NATs later
return val;
vcpu_get_gr_nat(VCPU *vcpu, unsigned long reg, UINT64 *val)
{
REGS *regs = vcpu_regs(vcpu);
- int nat;
+ int nat;
+
getreg(reg,val,&nat,regs); // FIXME: handle NATs later
- if(nat)
- return IA64_NAT_CONSUMPTION_VECTOR;
+ if (nat)
+ return IA64_NAT_CONSUMPTION_VECTOR;
return 0;
}
vcpu_set_gr(VCPU *vcpu, unsigned long reg, UINT64 value, int nat)
{
REGS *regs = vcpu_regs(vcpu);
+ long sof;
+
if (!reg) return IA64_ILLOP_FAULT;
- long sof = (regs->cr_ifs) & 0x7f;
+ sof = (regs->cr_ifs) & 0x7f;
if (reg >= sof + 32) return IA64_ILLOP_FAULT;
setreg(reg,value,nat,regs); // FIXME: handle NATs later
return IA64_NO_FAULT;
UINT64 VHPT_addr2a =
((pta_base >> 15) & 0x3fffffffffff) & compMask_60_15;
UINT64 VHPT_addr2b =
- ((VHPT_offset >> 15) & 0x3fffffffffff) & Mask_60_15;;
+ ((VHPT_offset >> 15) & 0x3fffffffffff) & Mask_60_15;
UINT64 VHPT_addr3 = VHPT_offset & 0x7fff;
UINT64 VHPT_addr = VHPT_addr1 | ((VHPT_addr2a | VHPT_addr2b) << 15) |
VHPT_addr3;
unsigned long dom0_initrd_start, dom0_initrd_size;
unsigned long initial_images_start, initial_images_end;
struct domain *idle_domain;
+#ifdef CONFIG_SMP
+ int i;
+#endif
running_on_sim = is_platform_hp_ski();
/* Kernel may be relocated by EFI loader */
#endif
#ifdef CONFIG_SMP
- int i;
-
if ( opt_nosmp )
{
max_cpus = 0;